Contextual Petri Nets, Asymmetric Event Structures, and Processes
نویسندگان
چکیده
منابع مشابه
Contextual Petri Nets, Asymmetric Event Structures, and Processes
We present an event structure semantics for contextual nets, an extension of P/T Petri nets where transitions can check for the presence of tokens without consuming them (read-only operations). A basic rôle is played by asymmetric event structures, a generalization of Winskel’s prime event structures where symmetric conflict is replaced by a relation modelling asymmetric conflict or weak causal...
متن کاملConfiguration structures, event structures and Petri nets
In this paper the correspondence between safe Petri nets and event structures, due to Nielsen, Plotkin and Winskel, is extended to arbitrary nets without self-loops, under the collective token interpretation. To this end we propose a more general form of event structure, matching the expressive power of such nets. These new event structures and nets are connected by relating both notions with c...
متن کاملEvent Structures for Petri nets with Persistence
Event structures are a widely accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri. A basic role is played by an unfolding construction that maps (safe) Petri nets into a subclass of event structures where each event has a uniquely determined set of c...
متن کاملAn Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures
We propose an event based semantics for contextual nets, i.e. an extension of Place/Transition Petri nets where transitions can also have context conditions, modelling resources that can be read without being consumed. The result is a generalization of Winskel’s work on safe nets: the event based semantics is given at categorical level via a chain of coreflections leading from the category WS-C...
متن کاملPetri Nets, Event Structures and Domains, Part I
The general aim of this paper is to find a theory of concurrency combining the approaches of Petri and Scott (and others). In part I we introduce our formalisms. To connect the abstract ideas of events and domains of information, we show how causal nets induce certain kinds of domains where the information points are certain sets of events. This allows translations between the languages of net ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2001
ISSN: 0890-5401
DOI: 10.1006/inco.2001.3060